1

Proposition algebra

Year:
2011
Language:
english
File:
PDF, 301 KB
english, 2011
2

Kleene's three-valued logic and process algebra

Year:
1998
Language:
english
File:
PDF, 654 KB
english, 1998
3

Process algebra with guards: Combining Hoare logic with process algebra

Year:
1994
Language:
english
File:
PDF, 2.39 MB
english, 1994
4

Execution architectures for program algebra

Year:
2007
Language:
english
File:
PDF, 287 KB
english, 2007
5

Belnap’s logic and conditional composition

Year:
2007
Language:
english
File:
PDF, 351 KB
english, 2007
7

Process algebra and conditional composition

Year:
2001
Language:
english
File:
PDF, 118 KB
english, 2001
8

Equivalence of recursive specifications in process algebra

Year:
2001
Language:
english
File:
PDF, 96 KB
english, 2001
9

Grid protocols based on synchronous communication

Year:
1997
Language:
english
File:
PDF, 1.93 MB
english, 1997
10

Non-regular iterators in process algebra

Year:
2001
Language:
english
File:
PDF, 243 KB
english, 2001
11

Branching time and orthogonal bisimulation equivalence

Year:
2003
Language:
english
File:
PDF, 609 KB
english, 2003
12

Preface

Year:
1997
Language:
english
File:
PDF, 110 KB
english, 1997
13

Two finite specifications of a queue

Year:
1997
Language:
english
File:
PDF, 1.22 MB
english, 1997
14

Computable processes and bisimulation equivalence

Year:
1996
Language:
english
File:
PDF, 1.61 MB
english, 1996
15

Risk Assessment for One-Counter Threads

Year:
2008
Language:
english
File:
PDF, 467 KB
english, 2008
16

Decision problems for pushdown threads

Year:
2007
Language:
english
File:
PDF, 318 KB
english, 2007
17

A Generalization of ACP Using Belnap's Logic

Year:
2006
Language:
english
File:
PDF, 214 KB
english, 2006
19

A generalization of ACP using Belnap’s logic

Year:
2007
Language:
english
File:
PDF, 207 KB
english, 2007
20

Combining programs and state machines

Year:
2002
Language:
english
File:
PDF, 148 KB
english, 2002
21

Program algebra with unit instruction operators

Year:
2002
Language:
english
File:
PDF, 180 KB
english, 2002
22

Process algebra with four-valued logic

Year:
2000
Language:
english
File:
PDF, 1.06 MB
english, 2000
23

Equations for formally real meadows

Year:
2015
Language:
english
File:
PDF, 435 KB
english, 2015
24

Register-machine based processes

Year:
2001
Language:
english
File:
PDF, 358 KB
english, 2001
25

Fracpairs and fractions over a reduced commutative ring

Year:
2016
Language:
english
File:
PDF, 444 KB
english, 2016
27

Arithmetical datatypes with true fractions

Year:
2020
File:
PDF, 364 KB
2020